package data_management;

public class NetworkManager {
  
  /*@ 
    @ ensures username != null;
    @ ensures password != null;
    @*/
  public User attemptLogin(String username, String password) {
    return null;
  }
    
}